residuation

residuation
определение остатка, сравнение

English-Russian scientific dictionary. 2008.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "residuation" в других словарях:

  • residuation — …   Useful english dictionary

  • Residuated lattice — In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x le; y and a monoid x • y which admits operations x z and z / y loosely analogous to division or implication when x • y is viewed as… …   Wikipedia

  • Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… …   Wikipedia

  • Residuated Boolean algebra — In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean algebras with the monoid taken to be conjunction, the set of all formal languages over a given… …   Wikipedia

  • Henri Lebesgue — Infobox Scientist name =Henri Lebesgue box width =26em image width =225px caption = birth date =1875 06 28 birth place =Beauvais, France death date =death date and age|1941|7|26|1875|6|28 death place =Paris, France residence = citizenship =… …   Wikipedia

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Action algebra — In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive transitive closure operation of the latter to the former, while adding the left and right… …   Wikipedia

  • Residuated mapping — In mathematics, the concept of a residuated mapping arises in the theory of partially ordered sets. It refines the concept of a monotone function.If A , B are posets, a function f : A → B is defined to be monotone if and only if it is order… …   Wikipedia

  • Henri-Leon Lebesgue — Henri Léon Lebesgue Pour les articles homonymes, voir Lebesgue. Henri Léon Lebesgue Henri Lebesgue …   Wikipédia en Français

  • Henri-Léon Lebesgue — Pour les articles homonymes, voir Lebesgue. Henri Léon Lebesgue Henri Lebesgue Naissance 28 juin …   Wikipédia en Français

  • Henri Lebesgue — Henri Léon Lebesgue Pour les articles homonymes, voir Lebesgue. Henri Léon Lebesgue Henri Lebesgue …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»